منابع مشابه
The arrow calculus
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus with three constructs satisfying nine (somewhat idiosyncratic) laws; in contrast, the arrow calculus adds four constructs satisfying five laws (which fit two wel...
متن کاملThe Arrow Calculus (Functional Pearl)
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both toMoggi’s metalanguage for monads and to Paterson’s arrow notation.
متن کاملArrow theorems in the fuzzy setting
Throughout this paper, our main idea is to analyze the Arrovian approach in a fuzzy context, paying attention to different extensions of the classical Arrow's model arising in mathematical Social Choice to aggregate preferences that the agents define on a set of alternatives. There is a wide set of extensions. Some of them give rise to an impossibility theorem as in the Arrovian classical mod...
متن کاملToward a Calculus of Redundancy: The feedback arrow of expectations in knowledge-based systems
Whereas the generation of Shannon-type information is coupled to the second law of thermodynamics, redundancy—that is, the complement of information to the maximum entropy—can be increased by further distinctions: new options can discursively be generated. The dynamics of discursive knowledge production thus infuse the historical dynamics with a cultural evolution based on expectations (as diff...
متن کاملThe Thermodynamical Arrow and the Historical Arrow; Are They Equivalent?
In this paper, the relationship between the thermodynamic and historical arrows of time is studied. In the context of a simple combinatorial model, their definitions are made more precise and in particular strong versions (which are not compatible with time symmetric microscopic laws) and weak versions (which can be compatible with time symmetric microscopic laws) are given. This is part of a l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2010
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s095679680999027x